Model Checking Human-automation Interaction with Enhanced Operator Function Model
نویسندگان
چکیده
ORIGIN AND UNDERLYING PRINCIPLES Engineers use task analytic behavior models to describe the normative human behaviors required to control a system [12]. These models represent the mental and physical activities operators use to achieve the goals that the system was designed to support. Enhanced Operator Function Model (EOFM) [9], an extension of the Operator Function Model [13], represents human behavior as an input-output system using an XML notation.
منابع مشابه
Enhanced Operator Function Model (EOFM): A Task Analytic Modeling Formalism for Including Human Behavior in the Verification of Complex Systems
The enhanced operator function model (EOFM) is a task analytic modeling formalism that allows human behavior to be included in larger formal system models to support the formal verification of human interactive systems. EOFM is an expressive formalism that captures the behavior of individual humans or, with the EOFM with communications (EOFMC) extension, teams of humans as a collection of tasks...
متن کاملUsing model checking to help discover mode confusions and other automation surprises
Automation surprises occur when an automated system behaves differently than its operator expects. If the actual system behavior and the operator’s “mental model” are both described as finite state transition systems, then mechanized techniques known as “model checking” can be used automatically to discover any scenarios that cause the behaviors of the two descriptions to diverge from one anoth...
متن کاملOperator Interaction with Model-based Predictive Controllers in Petrochemical Refining
In this paper, we compare the advanced automation characteristics of Model-based Predictive Controllers (MPC) employed in process control to the more thoroughly studied Flight Management System (FMS) employed in airline cockpits. Our analysis shows that operator interaction with cockpit automation and MPC automation may differ in terms of the level of the control loops at which human control ac...
متن کاملAssessment of Soil Erosion Risk by Using Fuzzy Logic Model in Seymareh Chenar Basin
Extended abstract 1- Introduction Soil erosion is a process in which soil is separated from its original bed and transported to another location with the help of a moving agent [17]. Soil erosion is one of the serious problems in the watersheds of Iran and can be considered as one of the most important barriers to sustainable agriculture and natural resources development [6]. Soil erosio...
متن کاملFunctional Determination of the Operator
To predict future problems and prevent difficulties with human-automation interaction and coordination, we need to evaluate dynamically the three components of the complex human-socio-technical system: human operators, social characteristics, and automation/technology. Under conditions of work in an automated system operators are exposed to the effects of mental load and work stress factors. Th...
متن کامل